Точка Ферма
Необходимо перенести содержимое этой статьи в статью Точки Торричелли и заменить эту статью на перенаправление. |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e9/Fermat_case_of_Steiner_Problem.png/220px-Fermat_case_of_Steiner_Problem.png)
Точка Ферма — точка плоскости, сумма расстояний от которой до вершин треугольника является минимальной. Точку Ферма также иногда называют точкой Торричелли или точкой Ферма-Торричелли. Точка Ферма даёт решение проблемы Штейнера для вершин треугольника. В английской литературе точку Ферма также называют изогональным центром (isogonic center) X(13).
История
[править | править код]Точка Ферма впервые предложена Ферма: "Datis tribus punctis, quartum reperire, a quo si ducantur tres rectæ ad data puncta, summa trium harum rectarum sit minima quantitas". P. de Fermat, «Œuvres de Fermat», 1679, Livre I, Paris.(лат. "Для трех заданных точек найти четвертую, такую что если от неё провести прямые линии до данных точек, сумма расстояний будет наименьшей". П. Ферма).
Свойства
[править | править код]Теорема Лестера. В любом разностороннем треугольнике две точки Ферма, центр девяти точек и центр описанной окружности лежат на одной окружности (окружности Лестера).
Построение
[править | править код]Теорема (Э. Торричелли, Б. Кавальери, Т. Симпсон, Ф. Хейнен, Ж. Бертран). Построим на сторонах произвольного треугольника во внешнюю сторону равносторонние треугольники , , . Тогда шесть кривых — три окружности, описанные вокруг этих правильных треугольников, и прямые , , пересекаются в одной точке . Если все углы треугольника не превосходят , то лежит в треугольнике и является точкой Ферма . В этом случае углы между отрезками , и равны между собой и, значит, равны . Более того, длины отрезков , и , называемых линиями Симпсона, тоже равны между собой и равны . Если один из углов треугольника больше , то лежит вне треугольника , а точка Ферма совпадает с вершиной тупого угла.
Теорема дает алгоритм построения точки Ферма с помощью циркуля и линейки. В нетривиальном случае, когда все углы треугольника меньше , точку Ферма находят как пересечение любых двух из шести кривых, описанных в теореме.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1a/Ferma_Point_Experimental_Solution.png/220px-Ferma_Point_Experimental_Solution.png)
Физически эту точку можно построить так: отметим на плоской гладкой горизонтальной поверхности точки , и Невозможно разобрать выражение (SVG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://localhost:6011/ru.wikipedia.org/v1/»:): {\displaystyle C} и просверлим в отмеченных местах сквозные отверстия; свяжем три нити и пропустим сверху их свободные концы через отверстия; привяжем к свободным концам грузы одинаковой массы; когда система придет в равновесие, узел окажется в точке Ферма для треугольника .
Замечание
[править | править код]Кстати, на первом рисунке справа центры трёх равносторонних треугольников сами являются вершинами нового равностороннего треугольника (Теорема Наполеона). Кроме того, .
Нахождение точки Ферма. Множители Лагранжа
[править | править код]Есть подход к нахождению точки внутри треугольника, для которой сумма расстояний до вершин треугольника минимальна, заключается в использовании одного из методов оптимизации в математике. В частности, метод множителей Лагранжа и теоремы косинусов.
Мы рисуем линии от точки внутри треугольника до его вершин и называем их X, Y и Z. Кроме того, пусть длины этих линий равны x, y и z соответственно. Пусть угол между X и Y равен α, Y и Z - β. Тогда угол между X и Z равен (2π - α - β). Используя метод множителей Лагранжа, мы должны найти минимум лагранжиана L, который выражается как:
- L = x + y + z + λ1 (x2 + y2 − 2xy cos(α) − a2) + λ2 (y2 + z2 − 2yz cos(β) − b2) + λ3 (z2 + x2 − 2zx cos(α + β) − c2)
где a, b и c - длины сторон треугольника.
Приравнивая каждую из пяти частных производных δL/δx, δL/δy, δL/δz, δL/δα, δL/δβ нулю и исключая λ1, λ2, λ3, в конечном итоге получаем sin (α) = sin (β) и sin (α + β) = - sin (β), поэтому α = β = 120 °. Однако выкладки являются долгим и утомительным делом, и конечный результат охватывает только Случай 2, когда ни один из углов ≥ 120°.
Точка Торричелли
[править | править код]Точка Торричелли — точка треугольника, из которой все стороны видны под углом в . Существует только в треугольниках с углами, меньшими , при этом она единственна и, значит, совпадает с точкой Ферма.
См. также
[править | править код]Примечания
[править | править код]Литература
[править | править код]- Энциклопедия для детей / Глав. ред. М. Д. Аксёнова. — М.: Аванта+, 2001. — Т. 11. Математика. — 688 с.
- А. О. Иванов, А. А. Тужилин. Теория экстремальных сетей. — Москва–Ижевск: Институт компьютерных исследований, 2003. — ISBN 5-93972-292-X.